منابع مشابه
Behind the folding funnel diagram.
This Commentary clarifies the meaning of the funnel diagram, which has been widely cited in papers on protein folding. To aid in the analysis of the funnel diagram, this Commentary reviews historical approaches to understanding the mechanism of protein folding. The primary role of free energy in protein folding is discussed, and it is pointed out that the decrease [corrected] in the configurati...
متن کاملExtracting MUSes
Minimally unsatisfiable subformulas (in short, MUSes) represent the smallest explanations for the inconsistency of SAT instances in terms of the number of involved clauses. Extracting MUSes can thus prove valuable because it circumscribes the sources of contradiction in an instance. In this paper, a new heuristic-based approach to approximate or compute MUSes is presented. It is shown that it o...
متن کاملOn Efficient Computation of Variable MUSes
In this paper we address the following problem: given an unsatisfiable CNF formula F , find a minimal subset of variables of F that constitutes the set of variables in some unsatisfiable core of F . This problem, known as variable MUS (VMUS) computation problem, captures the need to reduce the number of variables that appear in unsatisfiable cores. Previous work on computation of VMUSes propose...
متن کاملDev123653 1850..1859
The eye has served as a classical model to study cell specification and tissue induction for over a century. Nevertheless, the molecular mechanisms that regulate the induction and maintenance of eye-field cells, and the specification of neural retina cells are poorly understood. Moreover, within the developing anterior forebrain, how prospective eye and telencephalic cells are differentially sp...
متن کاملDmd052290 1859..1866
Organic anion transporting polypeptide (OATP) 1B1 plays an important role in the hepatic uptake of many drugs, and the evaluation of OATP1B1-mediated drug-drug interactions (DDIs) is emphasized in the latest DDI (draft) guidance documents from U.S. and E.U. regulatory agencies. It has been suggested that some OATP1B1 inhibitors show a discrepancy in their inhibitory potential, depending on the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Arbor
سال: 2013
ISSN: 1988-303X,0210-1963
DOI: 10.3989/arbor.2013.763n5009